$\forall$$T$:Type, $L$:($T$ List). last(rev($L$)) $\sim$ hd($L$)